Algebraic Domains of Natural Transformations

نویسندگان

  • Adrian Fiech
  • Michael Huth
چکیده

Motivated by the semantics of polymorphic programming languages and typed -calculi, by formal methods in functor category semantics, and by well-known categorical and domaintheoretical constructs, we study domains of natural transformations F : !G of functors F;G: ! C with a small category as source and a cartesian closed category of Scottdomains C as target. We put constraints on the image arrows of the functors to obtain that F : !G is an object in C. Inf-faithful domains F : !G allow that in ma in F : !G can be computed in each component [FA ! GA] separately. If F;G: ! SCOTT are two functors such that for all f in mor( ) the maps F (f) preserve nite elements and G(f) preserve all non-empty in ma, then F : !G is inf-faithful, and all inf-faithful domains are Scott-domains. Familiar notions like `inverse limits', `small products', and `strict function spaces' are special instances of functors that meet the conditions above. We extend these results to retracts of Scott-domains.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On descent for coalgebras and type transformations

We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...

متن کامل

$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures

     In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from  a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...

متن کامل

Addendum to: "Infinite-dimensional versions of the primary, cyclic and Jordan decompositions", by M. Radjabalipour

In his paper mentioned in the title, which appears in the same issue of this journal, Mehdi Radjabalipour derives the cyclic decomposition of an algebraic linear transformation. A more general structure theory for linear transformations appears in Irving Kaplansky's lovely 1954 book on infinite abelian groups. We present a translation of Kaplansky's results for abelian groups into the terminolo...

متن کامل

A Diffusion Equation with Exponential Nonlinearity Recant Developments

The purpose of this paper is to analyze in detail a special nonlinear partial differential equation (nPDE) of the second order which is important in physical, chemical and technical applications. The present nPDE describes nonlinear diffusion and is of interest in several parts of physics, chemistry and engineering problems alike. Since nature is not linear intrinsically the nonlinear case is t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 136  شماره 

صفحات  -

تاریخ انتشار 1994